Search Results
USENIX Security '17 - Vale: Verifying High-Performance Cryptographic Assembly Code
USENIX Security '19 - IODINE: Verifying Constant-Time Execution of Hardware
Developing High-Performance Mechanically-Verified Cryptographic Code
USENIX Security '22 - Provably-Safe Multilingual Software Sandboxing using WebAssembly
USENIX Security '17 - Opening Remarks and Awards
USENIX Security '17 - Telling Your Secrets without Page Faults...
Andrew Herbert Career Celebration Workshop - Verifying Cryptographic Code in C
A Verified, Efficient Embedding of a Verifiable Assembly Language
Verified Low-Level Programming Embedded in F*
Simple High-Level Code for Cryptographic Arithmetic -- With Proofs, Without Compromises
Embassies: Radically Refactoring the Web
Dmitry Khovratovich presenting MTP at the 25th Usenix Security Symposium
